الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

اقرأ المزيد
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2